ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·43m·
Discuss: Hacker News
👁️System Observability
Personal Reflections on Immutable Linux
hackaday.com·14h
🔬Unikernels
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·17h·
Discuss: Hacker News
🔤DSLs
A Physics-Based Continuum Model for Versatile, Scalable, and Fast Terramechanics Simulation
arxiv.org·2d
🐫OCaml
Data-Star.dev – v1 and Beyond
data-star.dev·16h·
Discuss: Hacker News
🔄Reproducible Builds
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·12h·
Discuss: r/homelab
🏠HomeLab
ClickOps Is a Disgrace
thenewstack.io·19h
🔄Reproducible Builds
Kubernetes is not just for Black Friday
ergaster.org·1d·
Discuss: Lobsters, Hacker News
⎈Kubernetes
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·14h·
Discuss: r/programming
📦Unikernel Systems
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·10h·
Discuss: Hacker News
🔄Reproducible Builds
Don’t compare programming to the real world
expressionstatement.com·18h·
Discuss: r/programming
👁️System Observability
Binding Application in Idris
andrevidela.com·8h·
Discuss: Hacker News
🔠Type-Level Programming
Building MCP servers the easy way with Apache OpenServerless
opensource.net·1d·
Discuss: Hacker News
🛡️seL4
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·11h·
Discuss: Hacker News
📦Unikernel Systems
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·15h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·9h·
Discuss: Hacker News
⚙️PL Implementation
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·3d·
Discuss: Hacker News
🌐NetworkProtocols
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·10h·
Discuss: Hacker News
💾Retro Computing